Lost in translation: Language independence in propositional logic – application to belief change
نویسندگان
چکیده
منابع مشابه
Lost in translation: Language independence in propositional logic - application to belief change
Article history: Received 22 October 2012 Received in revised form 25 September 2013 Accepted 27 September 2013 Available online 3 October 2013
متن کاملLost in Translation: Language Independence in Propositional Logic - Application to Belief Revision and Belief Merging
Despite the importance of propositional logic in artificial intelligence, the notion of language independence in the propositional setting (not to be confound with syntax independence) has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t. symbol translation. We provide a number of characterizations results for su...
متن کاملConditional independence in propositional logic
Independence—the study of what is relevant to a given problem of reasoning—is an important AI topic. In this paper, we investigate several notions of conditional independence in propositional logic: Darwiche and Pearl’s conditional independence, and some more restricted forms of it. Many characterizations and properties of these independence relations are provided. We show them related to many ...
متن کاملDeviation in Belief Change on Fragments of Propositional Logic
It is known that prominent fragments of propositional logic are not closed under standard belief change operators. That is, applying such operators to knowledge bases in a fragment may produce results that have no equivalent in the same language. However, the potential range of such a deviation has not been investigated yet. In this paper, we give a systematic study of this problem by consideri...
متن کاملBelief Change as Propositional Update
This study examines the problem of belief revision, defined as deciding which of several initially accepted sentences to disbelieve, when new information presents a logical inconsistency with the initial set. In the first three experiments , the initial sentence set included a conditional sentence, a non-conditional (ground) sentence, and an inferred conclusion drawn from the first two. The new...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2014
ISSN: 0004-3702
DOI: 10.1016/j.artint.2013.09.005